Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
- Författare
- (Edited by Rupak Majumdar, Viktor Kunčak.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XVII, 623 sidor. 146 illus. online resource. | 978-3-319-63390-9 |
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XVII, 541 sidor. 125 illus. online resource. | 978-3-319-41528-4 |
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XVII, 521 sidor. 126 illus. online resource. | 978-3-319-41540-6 |